Deduction and Reduction Theorems for Inferential Erotetic Logic
نویسندگان
چکیده
منابع مشابه
Categorical Abstract Algebraic Logic Local Deduction Theorems for π-Institutions
In this paper, some of the results of Blok and Pigozzi on the local deductiondetachment theorems (LDDT) in Abstract Algebraic Logic, which followed pioneering work of Czelakowski on the same topic, are abstracted to cover logics formalized as π-institutions. The relationship between the LDDT and the property of various classes of I-matrices having locally definable principal I-filters is invest...
متن کاملAbstract deduction and inferential models for type theory
Deduction and Inferential Models for Type Theory Paolo Gentilini, Maurizio Martelli ANSAS Liguria, Via Assarotti 15, Genova, Italy
متن کاملAnytime Deduction for Probabilistic Logic
This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic logic, this approach is based on inference rules and therefore can produce proofs to explain how conc...
متن کاملNatural Deduction for Hybrid Logic
In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended with additional inference rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of hybrid logics which appears to be impossible in the context of ordinar...
متن کاملConvergent Deduction for Probabilistic Logic
This paper discusses the semantics and proof theory of Nilsson's proba bilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof theory. Within Nilsson's semantic frame work, we derive a set of inference rules which are provably sound. The resulting proof system, in contrast to Nilsson's approach, has the impor tant feature of convergence tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2017
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-017-9738-8